Completion and Differentiability in Weakly O-minimal Structures
نویسندگان
چکیده
Let R = (R,<,+, ·, . . . ) be a non-valuational weakly o-minimal real closed field, I a definable convex open subset of R and f : I → R a definable function. We prove that {x ∈ I : f ′(x) exists in R} is definable and f ′ is definable if f is differentiable.
منابع مشابه
On Weakly O-minimal Non-valuational Expansions of Ordered Groups
Let M = 〈M,<,+, . . .〉 be a weakly o-minimal expansion of an ordered group. This paper has two parts. In the rst part, we introduce the notion of M having no external limits and use it to prove that a large collection of non-valuational structures M do not admit de nable Skolem functions. In the second part, we provide an alternative characterization of the canonical o-minimal completion from [...
متن کاملWeakly O-minimal Structures and Real Closed Fields
A linearly ordered structure is weakly o-minimal if all of its definable sets in one variable are the union of finitely many convex sets in the structure. Weakly o-minimal structures were introduced by Dickmann, and they arise in several contexts. We here prove several fundamental results about weakly o-minimal structures. Foremost among these, we show that every weakly o-minimal ordered field ...
متن کاملPeano Differentiable Extensions in O-minimal Structures
Peano differentiability generalizes ordinary differentiability to higher order. There are two ways to define Peano differentiability for functions defined on non-open sets. For both concepts, we investigate the question under which conditions a function defined on a closed set can be extended to a Peano differentiable function on the ambient space if the sets and functions are definable in an o...
متن کاملWeakly o-minimal nonvaluational structures
A weakly o-minimal structure M = (M,≤,+, . . .) expanding an ordered group (M,≤, +) is called non-valuational iff for every cut 〈C,D〉 of (M,≤) definable in M, we have that inf{y − x : x ∈ C, y ∈ D} = 0. The study of non-valuational weakly o-minimal expansions of real closed fields carried out in [MMS] suggests that this class is very close to the class of o-minimal expansions of real closed fie...
متن کاملOn Definable Skolem Functions in Weakly O-Minimal nonvaluational Structures
We prove that all known examples of weakly o-minimal non-valuational structures have no de nable Skolem functions. We show, however, that such structures eliminate imaginaries up to de nable families of cuts. Along the way we give some new examples of weakly ominimal non-valuational structures.
متن کامل